Optimal. Leaf size=434 \[ \frac{\sin \left (a-\frac{b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{CosIntegral}\left (\frac{b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}+\frac{b}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\sin \left (a+\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{CosIntegral}\left (\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}-\frac{b}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\sin \left (a-\frac{(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{CosIntegral}\left (\frac{(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}+\frac{b}{\sqrt [3]{c+d x}}\right )}{f}-\frac{3 \sin (a) \text{CosIntegral}\left (\frac{b}{\sqrt [3]{c+d x}}\right )}{f}-\frac{\cos \left (a+\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{Si}\left (\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}-\frac{b}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\cos \left (a-\frac{b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{Si}\left (\frac{\sqrt [3]{f} b}{\sqrt [3]{d e-c f}}+\frac{b}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\cos \left (a-\frac{(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{Si}\left (\frac{(-1)^{2/3} \sqrt [3]{f} b}{\sqrt [3]{d e-c f}}+\frac{b}{\sqrt [3]{c+d x}}\right )}{f}-\frac{3 \cos (a) \text{Si}\left (\frac{b}{\sqrt [3]{c+d x}}\right )}{f} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 1.92008, antiderivative size = 434, normalized size of antiderivative = 1., number of steps used = 16, number of rules used = 5, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.227, Rules used = {3431, 3303, 3299, 3302, 3345} \[ \frac{\sin \left (a-\frac{b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{CosIntegral}\left (\frac{b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}+\frac{b}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\sin \left (a+\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{CosIntegral}\left (\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}-\frac{b}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\sin \left (a-\frac{(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{CosIntegral}\left (\frac{(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}+\frac{b}{\sqrt [3]{c+d x}}\right )}{f}-\frac{3 \sin (a) \text{CosIntegral}\left (\frac{b}{\sqrt [3]{c+d x}}\right )}{f}-\frac{\cos \left (a+\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{Si}\left (\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}-\frac{b}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\cos \left (a-\frac{b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{Si}\left (\frac{\sqrt [3]{f} b}{\sqrt [3]{d e-c f}}+\frac{b}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\cos \left (a-\frac{(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{Si}\left (\frac{(-1)^{2/3} \sqrt [3]{f} b}{\sqrt [3]{d e-c f}}+\frac{b}{\sqrt [3]{c+d x}}\right )}{f}-\frac{3 \cos (a) \text{Si}\left (\frac{b}{\sqrt [3]{c+d x}}\right )}{f} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3431
Rule 3303
Rule 3299
Rule 3302
Rule 3345
Rubi steps
\begin{align*} \int \frac{\sin \left (a+\frac{b}{\sqrt [3]{c+d x}}\right )}{e+f x} \, dx &=-\frac{3 \operatorname{Subst}\left (\int \left (\frac{d \sin (a+b x)}{f x}+\frac{d (-d e+c f) x^2 \sin (a+b x)}{f \left (f+(d e-c f) x^3\right )}\right ) \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{d}\\ &=-\frac{3 \operatorname{Subst}\left (\int \frac{\sin (a+b x)}{x} \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{f}+\frac{(3 (d e-c f)) \operatorname{Subst}\left (\int \frac{x^2 \sin (a+b x)}{f+(d e-c f) x^3} \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{f}\\ &=\frac{(3 (d e-c f)) \operatorname{Subst}\left (\int \left (\frac{\sin (a+b x)}{3 (d e-c f)^{2/3} \left (\sqrt [3]{f}+\sqrt [3]{d e-c f} x\right )}+\frac{\sin (a+b x)}{3 (d e-c f)^{2/3} \left (-\sqrt [3]{-1} \sqrt [3]{f}+\sqrt [3]{d e-c f} x\right )}+\frac{\sin (a+b x)}{3 (d e-c f)^{2/3} \left ((-1)^{2/3} \sqrt [3]{f}+\sqrt [3]{d e-c f} x\right )}\right ) \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{f}-\frac{(3 \cos (a)) \operatorname{Subst}\left (\int \frac{\sin (b x)}{x} \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{f}-\frac{(3 \sin (a)) \operatorname{Subst}\left (\int \frac{\cos (b x)}{x} \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{f}\\ &=-\frac{3 \text{Ci}\left (\frac{b}{\sqrt [3]{c+d x}}\right ) \sin (a)}{f}-\frac{3 \cos (a) \text{Si}\left (\frac{b}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\sqrt [3]{d e-c f} \operatorname{Subst}\left (\int \frac{\sin (a+b x)}{\sqrt [3]{f}+\sqrt [3]{d e-c f} x} \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\sqrt [3]{d e-c f} \operatorname{Subst}\left (\int \frac{\sin (a+b x)}{-\sqrt [3]{-1} \sqrt [3]{f}+\sqrt [3]{d e-c f} x} \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\sqrt [3]{d e-c f} \operatorname{Subst}\left (\int \frac{\sin (a+b x)}{(-1)^{2/3} \sqrt [3]{f}+\sqrt [3]{d e-c f} x} \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{f}\\ &=-\frac{3 \text{Ci}\left (\frac{b}{\sqrt [3]{c+d x}}\right ) \sin (a)}{f}-\frac{3 \cos (a) \text{Si}\left (\frac{b}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\left (\sqrt [3]{d e-c f} \cos \left (a-\frac{b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right )\right ) \operatorname{Subst}\left (\int \frac{\sin \left (\frac{b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}+b x\right )}{\sqrt [3]{f}+\sqrt [3]{d e-c f} x} \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{f}-\frac{\left (\sqrt [3]{d e-c f} \cos \left (a+\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right )\right ) \operatorname{Subst}\left (\int \frac{\sin \left (\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}-b x\right )}{-\sqrt [3]{-1} \sqrt [3]{f}+\sqrt [3]{d e-c f} x} \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\left (\sqrt [3]{d e-c f} \cos \left (a-\frac{(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right )\right ) \operatorname{Subst}\left (\int \frac{\sin \left (\frac{(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}+b x\right )}{(-1)^{2/3} \sqrt [3]{f}+\sqrt [3]{d e-c f} x} \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\left (\sqrt [3]{d e-c f} \sin \left (a-\frac{b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right )\right ) \operatorname{Subst}\left (\int \frac{\cos \left (\frac{b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}+b x\right )}{\sqrt [3]{f}+\sqrt [3]{d e-c f} x} \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\left (\sqrt [3]{d e-c f} \sin \left (a+\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right )\right ) \operatorname{Subst}\left (\int \frac{\cos \left (\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}-b x\right )}{-\sqrt [3]{-1} \sqrt [3]{f}+\sqrt [3]{d e-c f} x} \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\left (\sqrt [3]{d e-c f} \sin \left (a-\frac{(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right )\right ) \operatorname{Subst}\left (\int \frac{\cos \left (\frac{(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}+b x\right )}{(-1)^{2/3} \sqrt [3]{f}+\sqrt [3]{d e-c f} x} \, dx,x,\frac{1}{\sqrt [3]{c+d x}}\right )}{f}\\ &=-\frac{3 \text{Ci}\left (\frac{b}{\sqrt [3]{c+d x}}\right ) \sin (a)}{f}+\frac{\text{Ci}\left (\frac{b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}+\frac{b}{\sqrt [3]{c+d x}}\right ) \sin \left (a-\frac{b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right )}{f}+\frac{\text{Ci}\left (\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}-\frac{b}{\sqrt [3]{c+d x}}\right ) \sin \left (a+\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right )}{f}+\frac{\text{Ci}\left (\frac{(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}+\frac{b}{\sqrt [3]{c+d x}}\right ) \sin \left (a-\frac{(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right )}{f}-\frac{3 \cos (a) \text{Si}\left (\frac{b}{\sqrt [3]{c+d x}}\right )}{f}-\frac{\cos \left (a+\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{Si}\left (\frac{\sqrt [3]{-1} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}-\frac{b}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\cos \left (a-\frac{b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{Si}\left (\frac{b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}+\frac{b}{\sqrt [3]{c+d x}}\right )}{f}+\frac{\cos \left (a-\frac{(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}\right ) \text{Si}\left (\frac{(-1)^{2/3} b \sqrt [3]{f}}{\sqrt [3]{d e-c f}}+\frac{b}{\sqrt [3]{c+d x}}\right )}{f}\\ \end{align*}
Mathematica [C] time = 2.74273, size = 170, normalized size = 0.39 \[ \frac{i \left ((\cos (a)-i \sin (a)) \left (\text{RootSum}\left [\text{$\#$1}^3 f-c f+d e\& ,e^{-\frac{i b}{\text{$\#$1}}} \text{Ei}\left (-i b \left (\frac{1}{\sqrt [3]{c+d x}}-\frac{1}{\text{$\#$1}}\right )\right )\& \right ]-3 \text{Ei}\left (-\frac{i b}{\sqrt [3]{c+d x}}\right )\right )+(\cos (a)+i \sin (a)) \left (3 \text{Ei}\left (\frac{i b}{\sqrt [3]{c+d x}}\right )-\text{RootSum}\left [\text{$\#$1}^3 f-c f+d e\& ,e^{\frac{i b}{\text{$\#$1}}} \text{Ei}\left (i b \left (\frac{1}{\sqrt [3]{c+d x}}-\frac{1}{\text{$\#$1}}\right )\right )\& \right ]\right )\right )}{2 f} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] time = 0.027, size = 156, normalized size = 0.4 \begin{align*} -3\,{b}^{3} \left ( -1/3\,{\frac{1}{{b}^{3}f}\sum _{{\it \_R1}={\it RootOf} \left ( \left ( cf-de \right ){{\it \_Z}}^{3}+ \left ( -3\,acf+3\,ade \right ){{\it \_Z}}^{2}+ \left ( 3\,{a}^{2}cf-3\,{a}^{2}de \right ){\it \_Z}-{a}^{3}cf+{a}^{3}de-{b}^{3}f \right ) }-{\it Si} \left ( -{\frac{b}{\sqrt [3]{dx+c}}}+{\it \_R1}-a \right ) \cos \left ({\it \_R1} \right ) +{\it Ci} \left ({\frac{b}{\sqrt [3]{dx+c}}}-{\it \_R1}+a \right ) \sin \left ({\it \_R1} \right ) }+{\frac{1}{{b}^{3}f} \left ({\it Si} \left ({\frac{b}{\sqrt [3]{dx+c}}} \right ) \cos \left ( a \right ) +{\it Ci} \left ({\frac{b}{\sqrt [3]{dx+c}}} \right ) \sin \left ( a \right ) \right ) } \right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sin \left (a + \frac{b}{{\left (d x + c\right )}^{\frac{1}{3}}}\right )}{f x + e}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] time = 2.34048, size = 1359, normalized size = 3.13 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sin{\left (a + \frac{b}{\sqrt [3]{c + d x}} \right )}}{e + f x}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{\sin \left (a + \frac{b}{{\left (d x + c\right )}^{\frac{1}{3}}}\right )}{f x + e}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]